Veri cation Codes
نویسندگان
چکیده
Most work in low-density parity-check codes focuses on bit-level errors. In this paper, we introduce and analyze veri cation codes, which are simple low-density parity-check codes speci cally designed to manipulate data in packet-sized units. Veri cation codes require only linear time for both encoding and decoding and succeed with high probability under random errors. We describe how to utilize code scrambling to extend our results to channels with errors controlled by an oblivious adversary. Although veri cation codes over n packets require (log n) bits per packet, in practice they function well for packet sizes as small as thirty-two bits.
منابع مشابه
Speci cation and Veri cation of High - Speed Transfer Protocols
Composition of high-speed protocols from basic protocol mechanisms can help to realize the exible application-speci c selection of protocols. For the purpose of formal speci cation, functional modelling, analysis, and veri cation of composed protocols we apply L. Lamport's Temporal Logic of Actions (TLA). We propose a modular and compositional style of speci cation, which supports the analysis ...
متن کاملAbstraction and Modular Veriication of Innnite-state Reactive Systems ?
ion and Modular Veri cation of In nite-State Reactive Systems ? Zohar Manna, Michael A. Col on, Bernd Finkbeiner, Henny B. Sipma and Tom as E. Uribe Computer Science Department Stanford University Stanford, CA. 94305-9045 [email protected] Abstract. We review a number of temporal veri cation techniques for reactive systems using modularity and abstraction. Their use allows the veri cation o...
متن کاملDiscriminative utterance verification using multiple confidence measures
This paper proposes an utterance veri cation system for hidden Markov model (HMM) based automatic speech recognition systems. A veri cation objective function, based on a multi-layer-perceptron (MLP), is adopted which combines con dence measures from both the recognition and veri cation models. Discriminative minimum veri cation error training is applied for optimizing the parameters of the MLP...
متن کاملVerifying a smart design of TCAP a synergetic experience
An optimisation of the SS No. 7 Transport Capabilities Procedures is veri ed by specifying both the original and the optimised TCAP in CRL, generating transition systems for both using the CRL tool set, and checking weak bisimulation equivalence of the two using the C sar/Ald ebaran tool set, these steps being part of a iterative process of speci cation, re nement and veri cation. As a result, ...
متن کاملFormal Verification of Real time Software
The veri cation of functionality of the input output logic properties often composes the majority of software requirements analysis Automated theorem provers ATPs such as SRI s Prototype Veri cation System PVS have been successfully used in the formal veri cation of functional properties However such functional methods are not readily applicable to the veri cation of the real time software re q...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002